COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	notime[w87,jmc]		Examples of non-temporal non-monotonic reasoning
C00004 ENDMK
C⊗;
notime[w87,jmc]		Examples of non-temporal non-monotonic reasoning

Some of the problems of non-intended models presented by the
Yale shooting problem also arise when the problem is different
from forward projection.  Therefore, the solution should not
give a special role to time or causality.  We try to give two
examples.

1. Backward and forward in time.

We see Joe's mail piled up and infer non-monotonically that he didn't
come in yesterday.  Normally Joe attends the meeting at 3pm every day.
We should conclude that Joe didn't attend the meeting on the basis
of our conclusion that he didn't come in.  However, there is a non-intended
model in which abnormally he did come in spite of the evidence in order
that we can have that he (as is normal) attended he meeting.

This example is far from optimal.  It looks like we want the past
situation to depend on a parameter like the action.  Perhaps it should
contain a hypothetical previous event.  If Joe didn't come in yesterday
... .

2. Relatives